<?php
 $themes [0][0] = 5 ; // Nombre de themes
 $themes [0][1] = 1 ; // Theme par defaut
 
 // Theme "Plastique"
 $themes [1][0] = "Plastique" ; // Nom du theme
 $themes [1][1] = "plastique" ; // Repertoire contenant le theme
 $themes [1][2] = "config.inc" ; // Fichier de configuration du theme
 
 // Themes "Moderne"
 $themes [2][0] = "Bulle Verte" ; // Nom du theme
 $themes [2][1] = "moderne_vert" ; // Repertoire contenant le theme
 $themes [2][2] = "config.inc" ; // Fichier de configuration du theme
 
 $themes [3][0] = "Bulle Grise" ; // Nom du theme
 $themes [3][1] = "moderne_gris" ; // Repertoire contenant le theme
 $themes [3][2] = "config.inc" ; // Fichier de configuration du theme
 
 // Themes "window$"
 $themes [4][0] = "windows 98" ; // Nom du theme
 $themes [4][1] = "win_98" ; // Repertoire contenant le theme
 $themes [4][2] = "config.inc" ; // Fichier de configuration du theme
 
 // Themes "Mac OS X"
 $themes [5][0] = "Mac OS X" ; // Nom du theme
 $themes [5][1] = "mac_os_x" ; // Repertoire contenant le theme
 $themes [5][2] = "config.inc" ; // Fichier de configuration du theme
?>